Tracking Real-Time Systems Requirements
نویسنده
چکیده
One of the hard problems in maintaining real-time systems requirements is to keep track of the impact of resource usage on the applications. Often times, it is not sufficient to keep track of upper bounds since some requirements such as jitter are also sensitive to the lower bounds and the resource scheduling algorithm employed. In the case of non-preemptive scheduling, real-time requirements can be missed when resource utilization is decreased as in a CPU upgrade, even though there are no jitter constraints. In this paper, we define the notion of robustness for real-time performance requirments and discuss the tracking of sensitivity of real-time application requirements with respect to resource usage by formal method. We shall draw as an example the performance requirements of the avionics software of the Boeing 777 aircraft.
منابع مشابه
Potentials of Evolving Linear Models in Tracking Control Design for Nonlinear Variable Structure Systems
Evolving models have found applications in many real world systems. In this paper, potentials of the Evolving Linear Models (ELMs) in tracking control design for nonlinear variable structure systems are introduced. At first, an ELM is introduced as a dynamic single input, single output (SISO) linear model whose parameters as well as dynamic orders of input and output signals can change through ...
متن کاملReal-Time Interference Detection in Tracking Loop of GPS Receiver
Global Positioning System (GPS) spoofing could pose a major threat for GPS navigation ‎systems, so the GPS users have to gain a better understanding of the broader implications of ‎GPS.‎ In this paper, a plenary anti-spoofing approach based on correlation is proposed to distinguish spoofing effects. The suggested ‎method can be easily implemented in tracking loop of GPS receiver...
متن کاملApplying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems
Due to the increase of complexity in real-time safety-critical systems, verification and validation costs have significantly increased. A straightforward way to reduce costs is to reuse existing systems, adapting them to new requirements, so as to avoid new costly developments. Our aim is to verify during the development strategy definition phase whether the existing products can be reused and ...
متن کاملRobust Fuzzy Gain-Scheduled Control of the 3-Phase IPMSM
This article presents a fuzzy robust Mixed - Sensitivity Gain - Scheduled H controller based on the Loop -Shaping methodology for a class of MIMO uncertain nonlinear Time - Varying systems. In order to design this controller, the nonlinear parameter - dependent plant is first modeled as a set of linear subsystems by Takagi and Sugeno’s (T - S) fuzzy approach. Both Loop - Shaping methodology and...
متن کاملDesign of robust carrier tracking systems in high dynamic and high noise conditions, with emphasis on neuro-fuzzy controller
The robust carrier tracking is defined as the ability of a receiver to determine the phase and frequency of the input carrier signal in unusual conditions such as signal loss, input signal fading, high receiver dynamic, or other destructive effects of propagation. An implementation of tight tracking can be understood in terms of adopting a very narrow loop bandwidth that contradict with the req...
متن کامل